Koha online

1.
Understanding Z : a specification language and its formal semantics

by Spivey, J. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 1988Availability: Items available for loan: [Call number: 005.133 SPI] (1).
Place hold
2.
Two-level functional languages

by Nielson, Flemming | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.13 NIE] (1).
Place hold
3.
Basic simple type theory

by Hindley, J. Roger.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.13 HIN] (1).
Place hold
4.
Domains and lambda-calculi

by Amadio, Roberto M | Curien, Pierre-Louis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 511.3 AMA] (1).
Place hold

Powered by Koha